Programming language specification - PDFSEARCH.IO - Document Search Engine

Programming language specification
Results: 252

#	Item
61	JEM/SMILES Level 2 Research Data (L2r) Product Guide for VersionSTRUCTURE OF SMILES L2r PRODUCTS JANUARY 11, 2012 Add to Reading List Source URL: smiles.nict.go.jp Language: English - Date: 2012-07-31 18:35:34 Software engineering Hierarchical Data Format Jem Data file Scheme ALGOL 68 Integer Simplified molecular-input line-entry specification Computing Programming language theory Data types
62	Specification of FlatZinc Nicholas Nethercote Version 0.8 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2008-05-30 04:26:48 Data types Procedural programming languages Primitive data type Literal ALGOL 68 Boolean data type Array data type C ECL programming language Software engineering Computing Computer programming
63	Specification of FlatZinc Version 1.4 Ralph Becket 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2011-11-11 00:02:58 Data types C programming language C syntax Source code Array data type Literal ATS Declaration Constraint programming Software engineering Computer programming Computing
64	Specification Inference Using Context-Free Language Reachability Osbert Bastani Saswat Anand Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2015-02-24 02:42:36 Mathematics Combinatorics Flow network Dynamic programming Maximum flow problem Graph theory Network flow Operations research
65	Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: and Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2000-06-29 07:17:41 Formal methods Software development Procedural programming languages Programming paradigms Extended ML Concurrent computing Don Sannella Specification language Algebraic specification Computing Software engineering Computer programming
66	Specification of Zinc and MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia AugustZinc version (rotd), MiniZinc version 1.4) Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2011-11-11 00:02:58 Data types Type theory Procedural programming languages C++ Program analysis Type system ALGOL 68 Primitive data type C++ classes Computing Software engineering Programming language theory
67	Specification of Zinc and MiniZinc Nicholas Nethercote Mark Wallace Kim Marriott Reza Rafeh Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2008-06-19 04:02:31 Computing Programming language theory ZM C Type system Enumerated type Variable E Data types Type theory Software engineering
68	Specification of FlatZinc Version 1.6 Ralph Becket 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2012-09-19 09:34:02 Data types C programming language C syntax Source code Array data type Literal ATS Declaration Constraint programming Software engineering Computer programming Computing
69	Specification of FlatZinc Nicholas Nethercote Version Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2008-06-19 04:02:31 Data types Procedural programming languages Primitive data type Literal ALGOL 68 Boolean data type Array data type C ECL programming language Software engineering Computing Computer programming
70	Specification of Zinc and MiniZinc Zinc version 0.10 MiniZinc version 1.0 Nicholas Nethercote Mark Wallace Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2009-05-20 00:54:28 Data types Type theory Cross-platform software Procedural programming languages C Enumerated type Type system Database index Computing Software engineering Programming language theory